New heuristics for over-constrained flight to gate assignments

We consider the over-constrained Airport Gate Assignment Problem where the number of flights exceed the number of gates available, and where the objectives are to minimize the number of ungated flights and the total walking distances. The problem is formulated as a binary quadratic programming problem. We design a greedy algorithm and use a Tabu Search meta-heuristic to solve the problem. The greedy algorithm minimizes ungated flights while we devise a new neighbourhood search technique, the Interval Exchange Move, which allows us flexibility in seeking good solutions, especially when flight schedules are dense in time. Experiments conducted give good results.     

生物质洁净能源研究中的流化床动力学模型

分别对最小流化床、鼓泡流化床和腾涌流化床及相应的全混模型、鼓泡模型、气泡汇集模型等加以综述 ,分析其优缺点 ,并在此基础上提出动力学模拟研究的新思路 .根据流化床内在的本质———流化态的不同 ,将流化床分为最小流化床、鼓泡流化床和腾涌流化床三种 .总结了前人针对各种流化床提出的全混模型、鼓泡模型、气泡汇集模型等思想 ,建议今后可以在以下几个方面进行深入研究 :⑴使得模型更有普适性 .⑵由于气泡有效直径尚不能在理论上求得 ,可以在理想气泡直径变化公式的基础上 ,加入非线性化学的计算 .⑶确定不同情况下的参数 ,使得工作更有延续性 ,也使得模型更加具有生命力 .⑷从高压的角度去进行模型的计算 ,并得到相应的试验数据支持 .     

A note on the necessary conditions for the algebraic Riccati equation

We derive some useful and easily computable necessary conditionsfor the existence of a positive semi-definite solution to thealgebraic Ricatti equation (ARE). A motivating example is givento highlight the usefulness of the conditions for controllerand observer designs for nonlinear systems. Further, an upperbound on the trace of the solution to the ARE is also derived.     

The Classification and Realization of Complete Lie Algebras with Commutative Nilpotent Radicals

in this paper, the classification and realization of complete Lie algebras withcommutative nilpotent radicals are given. From this, some results on the radicals of thesecomplete Lie algebras are obtained.     

THE RELATIONSHIP BETWEEN PROJECTIVE GEOMETRIC AND RATIONAL QUADRATIC B-SPLINE CURVES

For two rational quadratic B-spline curves with same control vertexes, the cross ratio of four eollinear points are represented; which are any one of the vertexes, and the two points that the ray initialing from the vertex intersects with the corresponding segments of the twocurves, and the point the ray intersecting with the connecting line between the two neighboring vertexes. Different from rational quadratic Beeier curves, the value is generally related with the loeation of the ray, and the necessary and sufficient condition o5 the ratio being independent of the ray‘s loeation is showed. Alsn another cross ratio o5 the following four collinear points are suggested, i.e. one vertex, the points that the ray from the initlal vertex intersects respectivdy with the curve segmentt the line connecting the segments end points, and the line connecting the two neighboring vertexes. This cross ratio is concerned only whh the ray‘s location, butnot with the weights of the curve. Furthermore, the cross ratio is projective invariant under the projective transformation between the two segments.     

内参量热力学中的应变参量分析

以连续体的各力学守恒定律和熵函数为基础,给出了完备的变形体内参量热力学的表述框架。讨论了将热力学状态参量分划为外参量和内参量的必要性和依据,论证了热力学内参量和非弹性变形的关系以及将各种类型的非弹性应变列为内参量的数学条件。给出了考虑非弹性变形的内参量热力学基本方程,讨论了熵平衡和熵产生的关系方程和行为特性。引入两种定义的变形体自由能函数的表述方程,给出了各相应的状态方程组。     

量子计算与超冷离子

通过介绍量子计算的基本概念和特点，并对比目前人们使用的计算机的计算方式，对于如何利用囚禁在离子阱中的超冷离子进行量子计算作了简要的叙述．     

与q形变玻色算符逆算符相关的相干态及其量子统计性质

讨论了ｑ形变玻色算符的广义逆算符作用于ｑ－相干态所得到的两类量子态的数学及量子统计性质。结果表明，ｑ－相干态的光子激发态不存在压缩但呈现反聚束效应，而ｑ－相干态的光子湮灭态却存在压缩但不呈现反聚束效应。